#include <stdio.h>
const int MN=16; char Buf[MN],*P1=Buf,*P2=Buf; char h,m,s,a,b;
#define gc() (P1==P2&&(P2=(P1=Buf)+fread(Buf,1,MN,stdin),P1==P2)?EOF:*P1++)
template<class T> inline T re(T &x) { char ch=gc();
while(ch>='0'&&ch<='9') x=x*10+(ch^48),ch=gc(); return x; }
template<class T, class... Ts> void re(T& x, Ts&... y) { re(x); re(y...); }
int main() { re(h,m,s,a,b); if(a>b) a=a^b, b=b^a, a=a^b;
a*=10; b*=10; h=h*10+1; m=m*2+1; s*=2;
char p=(a<h&&h<b)+(a<m&&m<b)+(a<s&&s<b); printf(p==3||!p ? "YES" : "NO");}
320A - Magic Numbers | 1658A - Marin and Photoshoot |
514A - Chewbaсca and Number | 382A - Ksenia and Pan Scales |
734B - Anton and Digits | 1080A - Petya and Origami |
1642D - Repetitions Decoding | 1440A - Buy the String |
1658F - Juju and Binary String | 478A - Initial Bet |
981A - Antipalindrome | 365A - Good Number |
1204B - Mislove Has Lost an Array | 1409D - Decrease the Sum of Digits |
1476E - Pattern Matching | 1107A - Digits Sequence Dividing |
1348A - Phoenix and Balance | 1343B - Balanced Array |
1186A - Vus the Cossack and a Contest | 1494A - ABC String |
1606A - AB Balance | 1658C - Shinju and the Lost Permutation |
1547C - Pair Programming | 550A - Two Substrings |
797B - Odd sum | 1093A - Dice Rolling |
1360B - Honest Coach | 1399C - Boats Competition |
1609C - Complex Market Analysis | 1657E - Star MST |